$\forall$${\it es}$:ES, $e$:E. first(es{-}init(${\it es}$;$e$)) $\sim$ true$_{2}$